University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
311	Two Remarks on Public Key Cryptology Ross Anderson University of Cambridge Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK Add to Reading List Source URL: cypherspace.org Language: English - Date: 2003-11-23 22:40:31 Cryptographic protocols Digital signature RSA Diffie–Hellman key exchange Key-agreement protocol Cypherpunk Perfect forward secrecy Key Public key infrastructure Cryptography Key management Public-key cryptography
312	Kadupul: Livin’ on the Edge with Virtual Currencies and Time-Locked Puzzles Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft Computer Laboratory University of Cambridge Add to Reading List Source URL: www.skjegstad.com Language: English - Date: 2015-04-03 05:20:31 Bitcoin Peer-to-peer computing Routing Email forwarding Peer-to-peer Wireless mesh network Email authentication Computing Network architecture Software
313	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2011-10-25 12:01:10 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
314	Verifying ARM6 Multiplication Anthony Fox Computer Laboratory, University of Cambridge Abstract. The hol-4 proof system has been used to formally verify the correctness of the ARM6 micro-architecture. This paper describe Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-11 10:30:53 ARM architecture Instruction set Tomasulo algorithm Computer architecture Instruction set architectures Central processing unit
315	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Lambda calculus Proof assistant Isabelle Logic for Computable Functions HOL First-order logic Theoretical computer science Mathematics Mathematical logic
316	The Eternity Service Ross J. Anderson Cambridge University Computer Laboratory Pembroke Street, Cambridge CB2 3QG Email: Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2005-02-14 07:52:18 Software Server Server hardware Anonymous remailer File server Backup Computer security Computer file Denial-of-service attack Computing System software Computer network security
317	Jitsu: Just-In-Time Summoning of Unikernels Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, Dave Scott,1 Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam,1 Jon Crowcroft and Add to Reading List Source URL: www.skjegstad.com Language: English - Date: 2015-04-03 05:20:31 University of Cambridge Computer Laboratory Xen Hyper-V Hardware virtualization Hypervisor Paravirtualization QEMU Ring VM System software Software Virtual machines
318	Verifying the ARM Block Data Transfer Instructions Anthony Fox Computer Laboratory, University of Cambridge Abstract The hol-4 proof system has been used to formally verify the correctness of the ARM6 micro-architecture. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-10 09:42:53 Machine code Assembly languages Central processing unit ARM architecture Addressing mode Processor register NOP DLX Computer architecture Computing Instruction set architectures
319	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
320	Efficient Stochastic Methods: Profiled Attacks Beyond 8 Bits Omar Choudary and Markus G. Kuhn Computer Laboratory, University of Cambridge Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-10-27 10:40:36 Multivariate statistics Singular value decomposition Data analysis Matrix theory Principal component analysis Linear discriminant analysis Eigenvalues and eigenvectors Multivariate normal distribution Covariance matrix Statistics Algebra Linear algebra

UPDATE